منابع مشابه
Mechanization of an Oracle in a Debugging System
We shall make use of a programming calculus to derive the correct result a program is expected to compute. In this way, the decision by an oracle whether or not a result is correct can be derived formally from a specification (model) of the program, and thus the oracle can be mechanized. The debugging system consists mainly of a derivation editor and a fault finding program that collects an err...
متن کاملObject and Dependency Oriented Programming in FLO
The flo language integrates management of inter-object dependencies into the object oriented paradigms. In this paper, we focus on the use of reactive dependencies (links) in object-oriented knowledge representation. In particular, we present di erent meta-links (links between links) and show how the flo links allow one to design some composition relationships.
متن کاملA Specification for an Autonomous Crop Production Mechanization System
This paper describes the specification of requirements and the functionality, of a novel agricultural mechanisation system based on small smart machines. It separates the current mechanisation methods from the original plant requirements and in doing so allows a new specification to develop based on agronomic, economic and environmental needs that can lead to a more sustainable production syste...
متن کاملInfluence of the Flo-Dynamics Movement System© intervention on measures of performance in older persons
BACKGROUND Fall-related injuries associated with aging are a serious clinical and economic problem. The Flo-Dynamics Movement System (FDMS), which consists of eight movements with a water-filled device, may be a useful low-impact exercise suited for older persons. This study investigated the effects of the FDMS regimen with the Wun-Jo trainer on measures of strength, flexibility, and balance in...
متن کاملThe Mechanization of Mathematics
The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Research in Engineering and Technology
سال: 2015
ISSN: 2321-7308,2319-1163
DOI: 10.15623/ijret.2015.0403039